Totally distributive toposes
نویسنده
چکیده
A locally small category E is totally distributive (as defined by Rosebrugh-Wood) if there exists a string of adjoint functors t ⊣ c ⊣ y, where y : E → Ê is the Yoneda embedding. Saying that E is lex totally distributive if, moreover, the left adjoint t preserves finite limits, we show that the lex totally distributive categories with a small set of generators are exactly the injective Grothendieck toposes, studied by Johnstone and Joyal. We characterize the totally distributive categories with a small set of generators as exactly the essential subtoposes of presheaf toposes, studied by Kelly-Lawvere and Kennett-Riehl-Roy-Zaks.
منابع مشابه
The Waves of a Total Category
For any total category K , with defining adjunction ∨ a Y : K // set op , the expression W (A)(K) = set K op (K (A, ∨ −), [K,−]), where [K,−] is evaluation at K, provides a well-defined functor W : K // K̂ = set op . Also, there are natural transformations β : W ∨ // 1 K̂ and γ : ∨ W // 1K satisfying ∨ β = γ ∨ and βW = Wγ. A total K is totally distributive if ∨ has a left adjoint. We show that K ...
متن کاملCocomplete toposes whose exact completions are toposes
Let E be a cocomplete topos. We show that if the exact completion of E is a topos then every indecomposable object in E is an atom. As a corollary we characterize the locally connected Grothendieck toposes whose exact completions are toposes. This result strengthens both the Lawvere–Schanuel characterization of Boolean presheaf toposes and Hofstra’s characterization of the locally connected Gro...
متن کاملExact completions and toposes
Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the different ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and many of the latter arise by adding “good” quotients of equivalence relations to a simple catego...
متن کاملAn Application of Open Maps to Categorical Logic
This paper is a sequel to [12]. We are here concerned with properties of theories in full first-order intuitionistic logic; the latter correspond under the identification of theories with categories provided by categorical logic (cf. [8] or [ 1 l]), to Heyting pretoposes, i.e. pretoposes with universal quantification of subobjects along morphisms. Using the lattice-theoretic machinery developed...
متن کاملMolecular Toposes*
In [2], Barr and Diaconescu characterized those Grothendieck toposes 8 for which the inverse image, A, of the geometric morphism r: 8 + Yet, is logical. It was shown (among other things) that this happens precisely when the lattice of subobjects of every object of 8 is a complete atomic boolean algebra. Toposes satisfying this property are called atomic. These results were relativised to the ca...
متن کامل